$\forall$$l$:IdLnk. lnk{-}inv(lnk{-}inv($l$)) = $l$